Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 6, 7, 9, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 27, 31, 32, 33, 34, 35, 36, 37, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 75, 76, 78, 81 }

B grade: { 5, 8, 10, 38 }

C grade: { 18, 79, 82 }

F grade: { 26, 28, 29, 30, 74, 77, 80, 83}

2.1.3 Maple

A grade: { 2, 4, 5, 6, 7, 9, 11, 12, 13, 14, 15, 17, 19, 20, 21, 22, 24, 26, 28, 29, 30, 34, 35, 39, 40, 44, 45, 49, 50, 53, 54, 55, 58, 59, 60, 63, 64, 65, 69, 70, 71 }

B grade: { 27, 68 }

C grade: { 72, 73, 75, 78, 79, 81 }

F grade: { 1, 3, 8, 10, 16, 18, 23, 25, 31, 32, 33, 36, 37, 38, 41, 42, 43, 46, 47, 48, 51, 52, 56, 57, 61, 62, 66, 67, 74, 76, 77, 80, 82, 83 }

2.1.4 Maxima

A grade: { 2, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 17, 19, 21, 22, 24, 26, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 44, 45, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 64, 65, 69, 70, 71

B grade: { 15 }

C grade: { }

F grade: { 1, 3, 10, 16, 18, 20, 23, 25, 27, 41, 42, 43, 46, 47, 48, 60, 61, 62, 63, 66, 67, 68, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83 }

2.1.5 FriCAS

A grade: { 2, 4, 6, 7, 9, 11, 13, 14, 17, 19, 21, 22, 24, 26, 28, 29, 30, 34, 35, 39, 40, 44, 45, 49, 50, 54, 55, 59, 60, 64, 65, 69, 70, 71 }

B grade: { 3, 5, 10, 12, 15, 18, 20, 25, 27, 53, 58, 63, 68, 72, 73, 75, 76, 78, 79, 81, 82 }

C grade: { 1, 8, 16, 23, 74, 77, 80 }

F grade: { 31, 32, 33, 36, 37, 38, 41, 42, 43, 46, 47, 48, 51, 52, 56, 57, 61, 62, 66, 67, 83 }

2.1.6 Sympy

A grade: { 2, 4, 6, 7, 9, 11, 13, 14, 17, 19, 21, 22, 24, 26, 28, 29, 30, 34, 35, 39, 40, 44, 45, 49, 50, 54, 55, 59, 60, 64, 65, 69, 70, 71 }

B grade: { }

C grade: { }

F grade: { 1, 3, 5, 8, 10, 12, 15, 16, 18, 20, 23, 25, 27, 31, 32, 33, 36, 37, 38, 41, 42, 43, 46, 47, 48, 51, 52, 53, 56, 57, 58, 61, 62, 63, 66, 67, 68, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83 }

2.1.7 Giac

A grade: { 2, 4, 6, 7, 9, 11, 12, 13, 14, 15, 17, 19, 20, 21, 22, 24, 26, 27, 28, 29, 30, 34, 35, 39, 40, 44, 45, 49, 50, 54, 55, 58, 59, 60, 63, 64, 65, 68, 69, 70, 71 }

B grade: { 5, 53 }

C grade: { }

F grade: { 1, 3, 8, 10, 16, 18, 23, 25, 31, 32, 33, 36, 37, 38, 41, 42, 43, 46, 47, 48, 51, 52, 56, 57, 61, 62, 66, 67, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}\)










Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F C F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 104 104 138 0 0 555 0 0
normalized size 1 1. 1.33 0. 0. 5.34 0. 0.
time (sec) N/A 0.137 0.101 0.156 0. 1.673 0. 0.


















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 25 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.018 11.809 0.05 0. 0. 0. 0.


















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 108 0 0 386 0 0
normalized size 1 1. 1.59 0. 0. 5.68 0. 0.
time (sec) N/A 0.078 0.136 0.047 0. 1.622 0. 0.


















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 25 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.018 9.619 0.048 0. 0. 0. 0.


















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B A A B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 26 26 57 33 34 150 0 66
normalized size 1 1. 2.19 1.27 1.31 5.77 0. 2.54
time (sec) N/A 0.027 0.034 0.01 1.247 1.692 0. 1.158


















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 21 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.018 8.647 0.059 0. 0. 0. 0.


















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.019 10.098 0.048 0. 0. 0. 0.


















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F A C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 196 196 595 0 366 2354 0 0
normalized size 1 1. 3.04 0. 1.87 12.01 0. 0.
time (sec) N/A 0.375 6.181 0.12 2.04 1.717 0. 0.


















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.025 31.643 0.092 0. 0. 0. 0.


















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 108 108 260 0 0 1602 0 0
normalized size 1 1. 2.41 0. 0. 14.83 0. 0.
time (sec) N/A 0.165 4.402 0.118 0. 1.775 0. 0.


















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.026 28.966 0.079 0. 0. 0. 0.


















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 45 45 69 44 66 674 0 101
normalized size 1 1. 1.53 0.98 1.47 14.98 0. 2.24
time (sec) N/A 0.061 0.259 0.089 1.122 1.626 0. 1.194


















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.025 62.166 0.104 0. 0. 0. 0.


















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.026 40.659 0.116 0. 0. 0. 0.


















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 147 62 277 6765 0 213
normalized size 1 1. 1.63 0.69 3.08 75.17 0. 2.37
time (sec) N/A 0.11 0.086 0.047 1.282 1.8 0. 1.252


















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 325 325 256 0 0 1646 0 0
normalized size 1 1. 0.79 0. 0. 5.06 0. 0.
time (sec) N/A 0.82 0.196 0.062 0. 1.755 0. 0.


















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.029 9.007 0.055 0. 0. 0. 0.


















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-2) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 225 225 1164 0 0 1214 0 0
normalized size 1 1. 5.17 0. 0. 5.4 0. 0.
time (sec) N/A 0.506 3.453 0.054 0. 1.738 0. 0.


















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.029 8.034 0.053 0. 0. 0. 0.


















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 71 94 0 513 0 124
normalized size 1 1. 1.18 1.57 0. 8.55 0. 2.07
time (sec) N/A 0.098 0.134 0.04 0. 1.565 0. 1.208


















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.028 5.007 0.061 0. 0. 0. 0.


















Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.016 0.219 0.001 0. 0. 0. 0.


















Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) C F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 922 922 1502 0 0 8024 0 0
normalized size 1 1. 1.63 0. 0. 8.7 0. 0.
time (sec) N/A 2.033 14.088 0.154 0. 2.439 0. 0.


















Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.028 177.767 0.125 0. 0. 0. 0.


















Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 519 519 747 0 0 5154 0 0
normalized size 1 1. 1.44 0. 0. 9.93 0. 0.
time (sec) N/A 1.083 6.172 0.151 0. 2.337 0. 0.


















Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A F A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.028 180. 0.105 0. 0. 0. 0.


















Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 161 255 0 1596 0 239
normalized size 1 1. 1.42 2.26 0. 14.12 0. 2.12
time (sec) N/A 0.231 0.451 0.065 0. 1.969 0. 1.21


















Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A F A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.027 180. 0.137 0. 0. 0. 0.


















Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A F A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.027 180.002 0.146 0. 0. 0. 0.


















Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A F A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 20 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.026 180.002 0.144 0. 0. 0. 0.


















Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 356 356 365 0 471 0 0 0
normalized size 1 1. 1.03 0. 1.32 0. 0. 0.
time (sec) N/A 0.401 2.691 0.1 2.069 0. 0. 0.


















Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 260 260 273 0 352 0 0 0
normalized size 1 1. 1.05 0. 1.35 0. 0. 0.
time (sec) N/A 0.274 2.617 0.073 2.139 0. 0. 0.


















Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 164 164 181 0 234 0 0 0
normalized size 1 1. 1.1 0. 1.43 0. 0. 0.
time (sec) N/A 0.173 2.539 0.073 2.023 0. 0. 0.


















Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 23 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.018 17.185 0.078 0. 0. 0. 0.


















Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 25 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.02 19.648 0.079 0. 0. 0. 0.


















Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 597 597 1077 0 875 0 0 0
normalized size 1 1. 1.8 0. 1.47 0. 0. 0.
time (sec) N/A 0.817 12.916 0.139 2.065 0. 0. 0.


















Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 441 441 833 0 670 0 0 0
normalized size 1 1. 1.89 0. 1.52 0. 0. 0.
time (sec) N/A 0.631 12.209 0.132 1.988 0. 0. 0.


















Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 287 287 616 0 463 0 0 0
normalized size 1 1. 2.15 0. 1.61 0. 0. 0.
time (sec) N/A 0.449 11.379 0.128 1.923 0. 0. 0.


















Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.025 127.069 0.133 0. 0. 0. 0.


















Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.026 60.266 0.135 0. 0. 0. 0.


















Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 897 897 905 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 1.343 2.452 0.105 0. 0. 0. 0.


















Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 673 673 716 0 0 0 0 0
normalized size 1 1. 1.06 0. 0. 0. 0. 0.
time (sec) N/A 1.167 1.9 0.101 0. 0. 0. 0.


















Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 449 449 488 0 0 0 0 0
normalized size 1 1. 1.09 0. 0. 0. 0. 0.
time (sec) N/A 0.901 1.919 0.098 0. 0. 0. 0.


















Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.027 5.008 0.095 0. 0. 0. 0.


















Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 25 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.018 1.527 0. 0. 0. 0. 0.


















Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 2663 2663 2923 0 0 0 0 0
normalized size 1 1. 1.1 0. 0. 0. 0. 0.
time (sec) N/A 3.748 21.045 0.212 0. 0. 0. 0.


















Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 1983 1983 2153 0 0 0 0 0
normalized size 1 1. 1.09 0. 0. 0. 0. 0.
time (sec) N/A 2.925 19.403 0.2 0. 0. 0. 0.


















Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 1303 1303 1333 0 0 0 0 0
normalized size 1 1. 1.02 0. 0. 0. 0. 0.
time (sec) N/A 2.295 15.802 0.164 0. 0. 0. 0.


















Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.026 137.552 0.152 0. 0. 0. 0.


















Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 22 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.026 71.22 0.151 0. 0. 0. 0.


















Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 214 214 238 0 293 0 0 0
normalized size 1 1. 1.11 0. 1.37 0. 0. 0.
time (sec) N/A 0.219 3.074 0.079 2.052 0. 0. 0.


















Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 120 120 142 0 174 0 0 0
normalized size 1 1. 1.18 0. 1.45 0. 0. 0.
time (sec) N/A 0.118 9.301 0.074 2.085 0. 0. 0.


















Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 26 26 34 26 34 174 0 66
normalized size 1 1. 1.31 1. 1.31 6.69 0. 2.54
time (sec) N/A 0.025 0.044 0.02 1.095 1.932 0. 1.154


















Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 29 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.016 22.531 0.081 0. 0. 0. 0.


















Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 31 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.016 24.21 0.079 0. 0. 0. 0.


















Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 363 363 718 0 570 0 0 0
normalized size 1 1. 1.98 0. 1.57 0. 0. 0.
time (sec) N/A 0.53 10.933 0.134 1.982 0. 0. 0.


















Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 209 209 316 0 356 0 0 0
normalized size 1 1. 1.51 0. 1.7 0. 0. 0.
time (sec) N/A 0.329 9.233 0.138 1.945 0. 0. 0.


















Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 47 47 75 44 69 801 0 103
normalized size 1 1. 1.6 0.94 1.47 17.04 0. 2.19
time (sec) N/A 0.06 0.268 0.027 1.106 1.976 0. 1.228


















Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.025 56.871 0.138 0. 0. 0. 0.


















Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A F(-1) A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.024 57.198 0.136 0. 0. 0. 0.


















Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 561 561 602 0 0 0 0 0
normalized size 1 1. 1.07 0. 0. 0. 0. 0.
time (sec) N/A 0.969 2.075 0.096 0. 0. 0. 0.


















Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 337 337 374 0 0 0 0 0
normalized size 1 1. 1.11 0. 0. 0. 0. 0.
time (sec) N/A 0.764 7.816 0.096 0. 0. 0. 0.


















Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 73 94 0 305 0 124
normalized size 1 1. 1.16 1.49 0. 4.84 0. 1.97
time (sec) N/A 0.095 0.142 0.056 0. 1.88 0. 1.224


















Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.028 7.229 0.095 0. 0. 0. 0.


















Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.028 7.226 0.094 0. 0. 0. 0.


















Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 1639 1639 1761 0 0 0 0 0
normalized size 1 1. 1.07 0. 0. 0. 0. 0.
time (sec) N/A 2.587 18.189 0.2 0. 0. 0. 0.


















Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 959 959 934 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 1.896 14.985 0.161 0. 0. 0. 0.


















Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 118 118 175 257 0 1611 0 240
normalized size 1 1. 1.48 2.18 0. 13.65 0. 2.03
time (sec) N/A 0.213 0.437 0.088 0. 2.231 0. 1.311


















Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.027 67.121 0.151 0. 0. 0. 0.


















Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 24 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.027 67.49 0.152 0. 0. 0. 0.


















Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade N/A A A A A A A A
verified N/A N/A N/A TBD TBD TBD TBD TBD
size 31 0 0 0 0 0 0 0
normalized size 1 0. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.055 17.266 0.282 0. 0. 0. 0.


















Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 45 45 45 155 0 637 0 0
normalized size 1 1. 1. 3.44 0. 14.16 0. 0.
time (sec) N/A 0.054 0.063 0.228 0. 2.018 0. 0.


















Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 124 124 175 326 0 1840 0 0
normalized size 1 1. 1.41 2.63 0. 14.84 0. 0.
time (sec) N/A 0.11 0.144 0.218 0. 2.102 0. 0.


















Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F(-2) C F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 197 197 0 0 0 3085 0 0
normalized size 1 1. 0. 0. 0. 15.66 0. 0.
time (sec) N/A 0.175 27.487 0.264 0. 2.144 0. 0.


















Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F(-2) B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 87 271 0 2890 0 0
normalized size 1 1. 1.09 3.39 0. 36.12 0. 0.
time (sec) N/A 0.102 0.367 0.115 0. 2.463 0. 0.


















Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F(-2) B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 198 198 278 0 0 8325 0 0
normalized size 1 1. 1.4 0. 0. 42.05 0. 0.
time (sec) N/A 0.211 5.72 0.308 0. 2.648 0. 0.


















Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F(-2) C F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 344 344 0 0 0 15032 0 0
normalized size 1 1. 0. 0. 0. 43.7 0. 0.
time (sec) N/A 0.408 101.672 0.307 0. 3.126 0. 0.


















Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 84 319 0 728 0 0
normalized size 1 1. 1.02 3.89 0. 8.88 0. 0.
time (sec) N/A 0.144 0.168 0.135 0. 2.236 0. 0.


















Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 291 291 1180 577 0 3330 0 0
normalized size 1 1. 4.05 1.98 0. 11.44 0. 0.
time (sec) N/A 0.545 4.037 0.128 0. 2.489 0. 0.


















Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F C F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 428 428 0 0 0 5175 0 0
normalized size 1 1. 0. 0. 0. 12.09 0. 0.
time (sec) N/A 0.844 6.716 0.243 0. 2.599 0. 0.


















Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 149 149 167 490 0 4803 0 0
normalized size 1 1. 1.12 3.29 0. 32.23 0. 0.
time (sec) N/A 0.29 0.576 0.151 0. 2.456 0. 0.


















Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F B F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 681 681 3256 0 0 21689 0 0
normalized size 1 1. 4.78 0. 0. 31.85 0. 0.
time (sec) N/A 1.147 33.428 0.583 0. 3.754 0. 0.


















Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A F F F F(-1) F F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 1218 1218 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 2.121 118.006 0.408 0. 0. 0. 0.









2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac{\text{number of rules}}{\text{integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [23] had the largest ratio of [ 0.6667 ]

Table 2.1Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)







1 A 10 6 1. 16 0.375







2 A 0 0 0. 0 0.







3 A 8 5 1. 16 0.312







4 A 0 0 0. 0 0.







5 A 4 3 1. 14 0.214







6 A 0 0 0. 0 0.







7 A 0 0 0. 0 0.







8 A 15 11 1. 18 0.611







9 A 0 0 0. 0 0.







10 A 10 7 1. 18 0.389







11 A 0 0 0. 0 0.







12 A 5 5 1. 16 0.312







13 A 0 0 0. 0 0.







14 A 0 0 0. 0 0.







15 A 5 3 1. 12 0.25







16 A 13 8 1. 18 0.444







17 A 0 0 0. 0 0.







18 A 11 7 1. 18 0.389







19 A 0 0 0. 0 0.







20 A 5 5 1. 16 0.312







21 A 0 0 0. 0 0.







22 A 0 0 0. 0 0.







23 A 31 12 1. 18 0.667







24 A 0 0 0. 0 0.







25 A 22 10 1. 18 0.556







26 A 0 0 0. 0 0.







27 A 7 7 1. 16 0.438







28 A 0 0 0. 0 0.







29 A 0 0 0. 0 0.







30 A 0 0 0. 0 0.







31 A 20 7 1. 18 0.389







32 A 16 7 1. 18 0.389







33 A 12 7 1. 16 0.438







34 A 0 0 0. 0 0.







35 A 0 0 0. 0 0.







36 A 30 10 1. 20 0.5







37 A 24 10 1. 20 0.5







38 A 18 10 1. 18 0.556







39 A 0 0 0. 0 0.







40 A 0 0 0. 0 0.







41 A 23 9 1. 20 0.45







42 A 19 9 1. 20 0.45







43 A 15 9 1. 18 0.5







44 A 0 0 0. 0 0.







45 A 0 0 0. 0 0.







46 A 61 11 1. 20 0.55







47 A 49 11 1. 20 0.55







48 A 37 11 1. 18 0.611







49 A 0 0 0. 0 0.







50 A 0 0 0. 0 0.







51 A 14 7 1. 20 0.35







52 A 10 6 1. 20 0.3







53 A 4 3 1. 20 0.15







54 A 0 0 0. 0 0.







55 A 0 0 0. 0 0.







56 A 21 10 1. 22 0.454







57 A 15 11 1. 22 0.5







58 A 5 5 1. 22 0.227







59 A 0 0 0. 0 0.







60 A 0 0 0. 0 0.







61 A 17 9 1. 22 0.409







62 A 13 8 1. 22 0.364







63 A 5 5 1. 22 0.227







64 A 0 0 0. 0 0.







65 A 0 0 0. 0 0.







66 A 43 11 1. 22 0.5







67 A 31 12 1. 22 0.546







68 A 7 7 1. 22 0.318







69 A 0 0 0. 0 0.







70 A 0 0 0. 0 0.







71 A 0 0 0. 0 0.







72 A 5 4 1. 20 0.2







73 A 9 6 1. 22 0.273







74 A 11 7 1. 22 0.318







75 A 6 6 1. 22 0.273







76 A 11 8 1. 24 0.333







77 A 16 12 1. 24 0.5







78 A 6 6 1. 22 0.273







79 A 12 8 1. 24 0.333







80 A 14 9 1. 24 0.375







81 A 8 8 1. 22 0.364







82 A 23 11 1. 24 0.458







83 A 32 13 1. 24 0.542